An Analysis of (Linear) Exponentials Based on Extended Sequents
نویسندگان
چکیده
We apply the sequents approach to the analysis of several logics derived from linear logic In particular we present a uniform formal system for Linear Logic Elementary Linear Logic and Light Linear Logic
منابع مشابه
An Analysis of ( Linear ) Exponentials Based on
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simpliies the syntax of Light and Elementary Linear Logic.
متن کاملPermutative Additives and Exponentials
Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permutative sequents are structured as oriented surfaces with boundary whose topological complexity is able to encode some information about the exchange in sequential proofs. In this paper we provide a complete permutative sequent ...
متن کاملDecidability of Linear AÆne Logic
Propositional linear logic is known to be undecidable. In the current paper we prove that full propositional linear aÆne logic containing all the multiplicatives, additives, exponentials, and constants is decidable. The proof is based on a reduction of linear aÆne logic to sequents of speci c \normal forms", and on a generalization of Kanovich computational interpretation of linear logic adapte...
متن کاملDynamic Harmonic Analysis of Long Term over Voltages Based on Time Varying Fourier series in Extended Harmonic Domain
Harmonics have become an important issue in modern power systems. The widespread penetration of non-linear loads to emerging power systems has turned power quality analysis into an important operation issue under both steady state and transient conditions. This paper employs an Extended Harmonic Domain (EHD) based framework for dynamic analysis of long term analysis over voltages during the tra...
متن کاملMultirole Logic (Extended Abstract)
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. We formalize both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 6 شماره
صفحات -
تاریخ انتشار 1998